fseg(T;L1;L2) == L:T List. (L2 = (L @ L1)) 

latex

---

clarification:

fseg(T;L1;L2) == L:T List. (L2 = (L @ L1)  (T List)) 

latex

Definitions	x:A. B(x), s = t, type List, as @ bs
FDL editor aliases	fseg